4

A unified design methodology for offline and online testing

Year:
1998
Language:
english
File:
PDF, 237 KB
english, 1998
5

Embedded-memory test and repair: infrastructure ip for soc yield

Year:
2003
Language:
english
File:
PDF, 267 KB
english, 2003
11

The equivalence problem of multidimensional multitape automata

Year:
2008
Language:
english
File:
PDF, 282 KB
english, 2008
12

EMSO-logic and automata related to homogeneous flow event structures

Year:
2004
Language:
english
File:
PDF, 359 KB
english, 2004
13

On process languages in finite graphs

Year:
2000
Language:
english
File:
PDF, 613 KB
english, 2000
15

Equivalence of regular expressions over a partially commutative alphabet

Year:
2009
Language:
english
File:
PDF, 313 KB
english, 2009
16

Inclusion problems in trace monoids

Year:
2010
Language:
english
File:
PDF, 144 KB
english, 2010
17

On trace inclusion optimization problems

Year:
2010
Language:
english
File:
PDF, 262 KB
english, 2010
19

EMSO-Definability of Some Languages with Event Structures

Year:
2005
Language:
english
File:
PDF, 384 KB
english, 2005
20

Asynchronous trace-matching automata

Year:
2012
Language:
english
File:
PDF, 121 KB
english, 2012
29

Forbidden traces and forbidden subtraces

Year:
2013
Language:
english
File:
PDF, 121 KB
english, 2013